#ifndef __RTOS_TIMER_H_FILE_  
#define __RTOS_TIMER_H_FILE_
/**
 * \file timer.h
 * \author Clecio Varjao and Leanne Ross
 * \date October 2007
 * \brief A Skeleton Implementation for Timer interface
 */
	#include "kernel.h"

	void kernel_init_timer();
	void kernel_start_timer();

#endif /* __RTOS_TIMER_H_FILE_ */
